Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
391	Flask: Staged Functional Programming for Sensor Networks Geoffrey Mainland Greg Morrisett Matt Welsh Add to Reading List Source URL: www.eecs.harvard.edu Language: English - Date: 2008-07-28 15:41:14 Type theory Data types Functional languages Functional programming Lambda calculus Haskell NesC Combinator library Glasgow Haskell Compiler Software engineering Computing Computer programming
392	LTL types FRP Linear-time Temporal Logic Propositions as Types Proofs as Functional Reactive Programs Alan Jeffrey Alcatel-Lucent Bell Labs [removed] Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2011-11-17 10:18:47 Mathematical analysis Structure Integral transforms Logic Holomorphic functional calculus Decomposition of spectrum Mathematics Metalogic Model theory
393	Uniqueness and Reference Immutability for Safe Parallelism (Extended Version) Colin S. Gordon† , Matthew J. Parkinson‡ , Jared Parsons , Aleks Bromfield , Joe Duffy † University of Washington, ‡ Microsoft Res Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-09-27 12:03:04 Computer programming Functional programming Immutable object Algebraic topology Test Lambda calculus Subtype polymorphism Sheaf Computing Software engineering Object-oriented programming
394	SubL from CycL, Evalutable Functions, expansion, afterAdding and afterRemoving – and a Thin Network API Introduction This document describes a number of ways of causing SubL and external code to be invoked by the Cyc i Add to Reading List Source URL: www.cyc.com Language: English - Date: 2014-01-15 11:53:59 Ontology Subroutines Web services Functional programming Lambda calculus Web Services Description Language SubL Main function Apply Computing Software Cyc
395	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 2006-08-29 17:25:52 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering
396	Functional Programming with Structured Graphs Bruno C. d. S. Oliveira William R. Cook National University of Singapore Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-22 14:17:56 Recursion Lambda calculus Functional programming Higher-order functions Computability theory Fixed-point combinator Generic programming Fold Functor Software engineering Mathematics Declarative programming
397	LFC BUMPS ON SEPARABLE BANACH SPACES ´ ´ ´ M. JIMENEZ-SEVILLA AND L. SANCHEZ-GONZ Add to Reading List Source URL: eprints.ucm.es Language: English - Date: 2014-02-06 04:54:10 Calculus Continuous function Banach space Prime-counting function Fourier analysis Banach bundle Hahn–Banach theorem Mathematical analysis Mathematics Functional analysis
398	Functional Programming with Structured Graphs Bruno C. d. S. Oliveira William R. Cook National University of Singapore Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-22 14:17:56 Recursion Lambda calculus Functional programming Higher-order functions Computability theory Fixed-point combinator Generic programming Fold Functor Software engineering Mathematics Declarative programming
399	Robust Kalman filter and smoother for errors-in-variables model with observation outliers based on Least-Trimmed-Squares Jaafar ALMutawa Department of Mathematics and Statistics, King Fahd University of Petroleum and Min Add to Reading List Source URL: eprints.kfupm.edu.sa Language: English - Date: 2011-04-06 01:40:43 Robot control Estimation theory Kalman filter Errors-in-variables models Filter Holomorphic functional calculus M-estimator Statistics Control theory Stochastic differential equations
400	GMJ 00031m Glasgow Math. J. 43A[removed]–475. # 2001 Glasgow Mathematical Journal Trust. Printed in the United Kingdom COMPACT WELL-BOUNDED OPERATORS CHENG QINGPING Add to Reading List Source URL: researchrepository.murdoch.edu.au Language: English - Date: 2011-12-11 22:53:02 Mathematics Compact operator Spectral theorem Holomorphic functional calculus Von Neumann algebra Hilbert space Banach algebra Bounded operator Spectral theory Mathematical analysis Operator theory Algebra

UPDATE